A programming logic - with an introduction to the PL/CV verifier
- Författare
- Scott D. Johnson Michael J. O'Donnell Robert L. Constable
- (Robert L. Constable, Michael J. O'Donnell contrib. by Scott D. Johnson.)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Winthrop | cop. 1978 | USA, Cambridge, Mass | 389 sidor. |